Dict(
	[11, 14, 7, 6, 13, 1, 1, 16, 1, 1] => QQFieldElem[9//32, 0, 0, 0])